INFORMATION FOR AUTHORS As a general mathematics journal, Acta et Commentationes Universitatis Tartuensis de Mathematica publishes original research papers in pure and applied mathematics. Submission of a paper acknowled

Source URL: math.ut.ee

• Academic publishing
• Desktop publishing software
• Donald Knuth
• TeX
• Typesetting
• Acta
• Open access

In cooperation with: Institute for Pure & Applied Mathematics An NSF Math Institute at UCLA

Source URL: www.forschungscampus-modal.de

The constructive Hilbert program and the limits of Martin-L¨of type theory∗ Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom E-Mail:

Source URL: www1.maths.leeds.ac.uk

Explicit Mathematics With The Monotone Fixed Point Principle. II: Models Michael Rathjen Department of Pure Mathematics University of Leeds England

Source URL: www1.maths.leeds.ac.uk

Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail:

Source URL: www1.maths.leeds.ac.uk

Reverse Mathematics and Well-ordering Principles Michael Rathjen∗and Andreas Weiermann Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Vakgroep Zuivere Wiskunde en Computeralgebra, Ghe

Source URL: www1.maths.leeds.ac.uk

Theories and Ordinals: Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom How do ordinals measure the strength and computational power of formal

Source URL: www1.maths.leeds.ac.uk

Power Kripke-Platek set theory and the axiom of choice Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Abstract

Source URL: www1.maths.leeds.ac.uk

International Journal of Pure and Applied Mathematics Volume 97 No, ISSN: printed version); ISSN: on-line version) url: http://www.ijpam.eu doi: http://dx.doi.orgijpam.v97i

Source URL: ijpam.eu

• Physics
• Theoretical computer science
• Information theory
• Quantum information science
• Thermodynamic entropy
• Quantum mechanics
• Quantum information theory
• Von Neumann entropy
• Entropy
• Tsallis entropy
• Quantum entanglement
• Density matrix

You want me to count the arrows? I’ll C2 it! Tom Bourne School of Mathematics and Statistics University of St Andrews Pure Postgraduate Seminar

Source URL: www-circa.mcs.st-and.ac.uk